Your search returned 5 records. Click on the hyperlinks to view further details of Titles..

 

Magazine Name : Ieee Transactions On Software Engineering

Year : 2002 Volume number : 28 Issue: 03

A Classification Of Noncircular Attribute Grammers Based On The Look-Ahead Behavior (Article)
Subject: Attribute Grammers , Non Circular Attribute Grammers
Author: W Yang     
page:      210 - 227
Knowledge-Based Automation Of A Disign Method For Concurrent Systems (Article)
Subject: Automated Software Engineering , Knowledge Based Software Engineering
Author: K. L. Mills      H. Gomaa     
page:      228 - 255
An Authentication Logic With Formal Semantics Supporting Synchronization ,Revocation And Recency (Article)
Subject: Formal Methods , Protocols
Author: S,G, Stubblebine      N.T Wright     
page:      256 - 285
Models Of Parallel Applications With Large Computataion And I/O Requirments (Article)
Subject: Parallel Processing , Workload Characterization
Author: E. Rosti      Giuseppe Serazzi     
page:      286 - 307
Formal Methods Application: An Empirical Tale Of Software Development (Article)
Subject: Formal Methods , Software Specification , Software Engineering Curriculum
Author: Sobel A.E. Kelly      K. L Clarkson     
page:      308 - 320